#include <linux/sched.h>
#include <linux/sched/task.h>

void __put_task_struct_rcu(struct task_struct *tsk)
{
    free_task(tsk);
}
